连续时序逻辑(电路) temporal logic: 时间逻辑 [时序逻辑; 时序逻辑, 时态逻辑, 暂时逻辑continuous logic: 连续逻辑branching time temporal logic: 分支时间时态逻辑first-order temporal logic: 一组时态逻辑temporal logic language: 时序逻辑语言下载手机词典可随时随地查词查翻译